$\forall$$w$:World, $k$:Knd, $i$:Id, $t$:$\mathbb{N}$. w{-}knum($w$;$i$;$k$;$t$) $\in$ $\mathbb{N}$